L : (l where
    e
     implements Z, ..I)
s
